$\forall$$g$:IMonoid, $n$:$\mathbb{N}$, $e$:$\mid$$g$$\mid$. ($n$ $\cdot$ $e$) $\in$ $\mid$$g$$\mid$